Low For-Map Elimination